Proof Theory And Algebra In Logic 5583

Hiroakira Ono | Proof Theory And Algebra In Logic | Taschenbuch |

Digital Signal Processing Theory And Practice 5583

Problems And Proofs In Numbers And Algebra 2775

Georg Gottlob (u. A.) | Computational Logic And Proof Theory |

Applied Proof Theory: Proof Interpretations And Their Use In

A Geometry Of Approximation: Rough Set Theory: Logic, Algebra And

Universal Algebra, Algebraic Logic, And Databases B. Plotkin

Shaun Bullett Algebra, Logic And Combinatorics (gebundene Ausgabe)

Mara V. Martinez | Integrating Algebra And Proof In High School |

Integrating Algebra And Proof In High School A Teaching Experiment

Computational Logic And Set Theory Applying Formalized Logic To

Algebra And Number Theory Benjamin Fine

Proofs And Refutations: The Logic Of Mathematical Discovery (cambridge

Mathematical Problems And Proofs Combinatorics, Number Theory, And

Don Pigozzi On Abstract Algebraic Logic, Universal Algebra, And